<?php 
	/**
	 * Fonction permettant d'écrire un horaire de la forme HH:MM en HHhMM
	 * @param string $horaire
	 * @return string
	 */
	function putHoraireHHhMM($horaire)
	{
		if($horaire != null)
		{
			$h = preg_split("/:/", $horaire);
			return $h[0]."h".$h[1];
		}
		return null;
	}
	
	function putHoraireHHMM($horaire)
	{
		if($horaire != null)
		{
			$h = preg_split("/:/", $horaire);
			return $h[0].":".$h[1];
		}
		return null;
	}
?>